221. Semirings, automata, languages
پدیدآورنده: Kuich, Werner
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Semirings )Mathematics(,، Formal languages
رده :
QA
267
.
K85
1986
222. #Semirings, automata, languages
پدیدآورنده: #Werner Kuich, Arto Salomaa
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Machine theory ،Semirings )Mathematics( ،Formal languages
رده :
#
QA
،#.
K85
،#
1986
223. Syntactic pattern recognition
پدیدآورنده: / Rafael C. Gonzalez, Michael G. Thomason
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Pattern perception,Formal languages,Machine theory
رده :
Q
327
.
G65
224. The concept of fuzziness in automata and language theory
پدیدآورنده: Wechler, Wolfgang.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Formal languages,، Set theory
رده :
QA
267
.
W43
225. The language of machines :
پدیدآورنده: Robert W. Floyd, Richard Beigel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions.,Formal languages.,Machine theory.,Berechenbarkeit,Computabilidade e modelos de computacao.,Computable functions.,Formal languages.,Formale Sprache,Formale Sprache.,Machine theory.,Maschinensprache,Maschinensprache.,Theoretische Informatik
رده :
QA267
.
3
.
F56
1994
226. The mathematical theory of context free languages
پدیدآورنده: Ginsburg, Seymour
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Formal languages,، Sequential machine theory
رده :
QA
267
.
5
.
S4
G5
227. The mathematical theory of context free languages
پدیدآورنده: Ginsburg, Seymour, 7291-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Formal languages,، Sequential machine theory
رده :
QA
267
.
5
.
S4G5
228. The oretical computer science
پدیدآورنده: Editor Alfredo Desantis,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory-Congresses,Formal Languages-Congresses
رده :
QA
.
I8T47
267
1995
229. Theoretical computer science
پدیدآورنده: 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
G18
1977
230. Theoretical computer science
پدیدآورنده: 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
48
231. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977
پدیدآورنده: edited by H. Tzchach, H. Waldschmidt and K.-G. Walter on behalf of the GI
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
48
232. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
پدیدآورنده: edited by K. Weihrauch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
67
233. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
پدیدآورنده: edited by A.B. Cremers and H.P. Kriegel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
145
234. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده: edited by Peter Deussen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
104
235. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده: GI-Fachtagung Theoretische Informatik, 4th, 9791, Aachen
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1979
236. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده: edited by K. Weihrauch
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
67
237. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1983
238. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1981
239. Theoretische Informatik :
پدیدآورنده: von Ingo Wegener.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages.,Machine theory.,Theory of computer science.
240. Theory of Finite Automata
پدیدآورنده: \ John Carroll, Darrell Long.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالت‌های متناهی
رده :
E-Book
,
